Isabelle Gnaedig And NotNouvelle-Aquitaine
List of bibliographic references
Number of relevant bibliographic references: 71.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 001271 | Philippe Beaucamps [France] ; Isabelle Gnaedig [France] ; Jean-Yves Marion [France] | Behavior Analysis of Malicious Code by Weighted Behavior Abstraction |
| 001955 | Philippe Beaucamps [France] ; Isabelle Gnaedig [France] ; Jean-Yves Marion [France] | Abstraction-based Malware Analysis Using Rewriting and Model Checking |
| 002351 | Philippe Beaucamps [France] ; Isabelle Gnaedig [France] ; Jean-Yves Marion [France] | Behavior Analysis of Malware by Rewriting-based Abstraction - Extended Version |
| 002894 | Philippe Beaucamps [France] ; Isabelle Gnaedig [France] ; Jean-Yves Marion [France] | Abstraction by Term Rewriting for Malware Behavior Analysis - Extended Version |
| 002979 | Philippe Beaucamps [France] ; Isabelle Gnaedig [France] ; Jean-Yves Marion [France] | Behavior Abstraction in Malware Analysis |
| 002A12 | Isabelle Gnaedig [France] ; Matthieu Kaczmarek [France] ; Daniel Reynaud [France] ; Stéphane Wloka [France] | Unconditional self-modifying code elimination with dynamic compiler optimizations |
| 002B39 | Philippe Beaucamps [France] ; Isabelle Gnaedig [France] ; Jean-Yves Marion [France] | Behavior Abstraction in Malware Analysis - Extended Version |
| 003113 | Philippe Beaucamps [France] ; Isabelle Gnaedig [France] ; Jean-Yves Marion [France] | Behavior Abstraction in Malware Analysis |
| 003743 | Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Termination of Rewriting under Strategies |
| 003888 | Isabelle Gnaedig [France] | Termination of Priority Rewriting |
| 003C48 | Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Proving weak properties of rewriting |
| 003C61 | Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Modeling reducibility on ground terms using constraints |
| 004517 | Isabelle Gnaedig [France] | Termination of Priority Rewriting |
| 004518 | Isabelle Gnaedig [France] | Termination of Priority Rewriting - Extended version |
| 004841 | Isabelle Gnaedig [France] | Induction for Positive Almost Sure Termination |
| 004913 | Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations |
| 004C20 | Isabelle Gnaedig ; Hélène Kirchner | Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations |
| 004E64 | Isabelle Gnaedig [France] | Induction for Positive Almost Sure Termination - Extended version - |
| 005067 | Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Computing Constructor Forms with Non Terminating Rewrite Programs |
| 005228 | Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Termination of rewriting under strategies: a generic approach |
| 005793 | Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Computing Constructor Forms with Non Terminating Rewrite Programs - Extended version - |
| 005923 | Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Termination of rewriting strategies: a generic approach |
| 005F28 | Isabelle Gnaedig ; Hélène Kirchner | Termination of rewriting strategies : a generic approach |
| 005F29 | Isabelle Gnaedig ; Hélène Kirchner | Termination of rewriting strategies : a generic approach |
| 006319 | Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | A Proof of Weak Termination Providing the Right Way to Terminate |
| 006466 | Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Termination of rewriting strategies: a generic approach |
| 006F07 | Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Proving weak termination also provides the right way to terminate - Extended version - |
| 007098 | Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | A proof of weak termination providing the right way to terminate |
| 007195 | Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Simplification and Termination of Strategies in Rule-Based Languages |
| 007441 | Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Outermost ground termination |
| 007505 | Isabelle Gnaedig ; Hélène Kirchner | Innermost sufficient completeness |
| 007559 | Olivier Fissore ; Isabelle Gnaedig ; Helene Kirchner | CARIBOO : A Multi-Strategy Termination Proof Tool Based on Induction |
| 007572 | Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner | Simplification and Termination of Strategies in Rule-Based Languages |
| 007598 | Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner | Proving weak termination also provides the right way to terminate - extended version - |
| 007614 | Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner | Proving weak termination also provides the right way to terminate |
| 007630 | Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner | Termination of ELAN strategies by simplification - Extended version - |
| 007827 | Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner | Outermost ground termination |
| 007C55 | Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Innermost sufficient completeness |
| 007D43 | Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Termination of ELAN strategies by simplification - Extended version - |
| 007D66 | Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Proving weak termination also provides the right way to terminate |
| 007D67 | Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Proving weak termination also provides the right way to terminate - extended version - |
| 007E55 | Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | CARIBOO: A Multi-Strategy Termination Proof Tool Based on Induction |
| 007F45 | Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | CARIBOO: An Induction Based Proof Tool for Termination with Strategies |
| 008353 | Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner | CARIBOO : An Induction Based Proof Tool for Termination with Strategies -- Extended version-- |
| 008377 | Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner | CARIBOO : An Induction Based Proof Tool for Termination with Strategies |
| 008500 | Isabelle Gnaedig ; Olivier Fissore ; Hélène Kirchner | Induction for weak termination |
| 008580 | Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner | Outermost ground termination - Extended version |
| 008622 | Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner | Outermost ground termination |
| 008A91 | Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Outermost ground termination |
| 008A92 | Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Outermost ground termination - Extended version |
| 008B25 | Isabelle Gnaedig [France] ; Olivier Fissore [France] ; Hélène Kirchner [France] | Induction for weak termination |
| 008B73 | Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | CARIBOO: An Induction Based Proof Tool for Termination with Strategies -- Extended version-- |
| 008F59 | Isabelle Gnaedig ; Hélène Kirchner ; Olivier Fissore | Induction for innermost and outermost ground termination |
| 008F65 | Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner | Induction for termination with local strategies - Extended version - |
| 008F88 | Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner | Induction for termination with local strategies |
| 009195 | Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Induction for termination with local strategies |
| 009638 | Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Induction for termination with local strategies - Extended version - |
| 009639 | Isabelle Gnaedig [France] ; Hélène Kirchner [France] ; Olivier Fissore [France] | Induction for innermost and outermost ground termination |
| 009A81 | Hélène Kirchner ; Isabelle Gnaedig | Termination and normalisation under strategies--Proofs in ELAN |
| 009B35 | Isabelle Gnaedig ; Hélène Kirchner ; Olivier Fissore | Induction for termination |
| 009D07 | Hélène Kirchner [France] ; Isabelle Gnaedig [France] | Termination and normalisation under strategy Proofs in ELAN |
| 00A133 | Hélène Kirchner [France] ; Isabelle Gnaedig [France] | Termination and normalisation under strategies--Proofs in ELAN |
| 00A207 | Isabelle Gnaedig [France] ; Hélène Kirchner [France] ; Olivier Fissore [France] | Induction for termination |
| 00A714 | Isabelle Gnaedig ; Hélène Kirchner ; Thomas Genet | Induction for Termination |
| 00AC92 | Isabelle Gnaedig [France] ; Hélène Kirchner [France] ; Thomas Genet | Induction for Termination |
| 00B981 | Thomas Genet ; Isabelle Gnaedig | Termination Proofs using gpo Ordering Constraints |
| 00BC06 | Thomas Genet [France] ; Isabelle Gnaedig [France] | Termination proofs using gpo ordering constraints |
| 00BD47 | Thomas Genet [France] ; Isabelle Gnaedig [France] | Termination Proofs Using gpo Ordering Constraints : Extended Version |
| 00D632 | Isabelle Gnaedig [France] | Termination of order-sorted rewriting |
| 00E358 | Isabelle Gnaedig [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] | Equational completion in order-sorted algebras extended abstract |
| 00E829 | Isabelle Gnaedig [France] ; Pierre Lescanne [France] | Proving termination of associative commutative rewriting systems by rewriting |
| This area was generated with Dilib version V0.6.33. |  |